GPT-6 Astra 将素数间距上界从 246 推进至 186
OpenAI 发布 GPT-6 Astra 后,首先披露的是一项数学成果:其论文《Improved Short Gaps Between Primes》称,模型借助 Lean 形式化证明,把连续素数间距的上界从 246 降到 186。宾夕法尼亚大学统计学教授、北大 07 级校友苏炜杰称这是「真正超现实的一夜」。同日,Astra 在 3D 建模、Codex 可搜索笔记等能力也引发大量讨论。

OpenAI 发布 GPT-6 Astra 后,首先披露的是一项数学成果:其论文《Improved Short Gaps Between Primes》称,模型借助 Lean 形式化证明,把连续素数间距的上界从 246 降到 186。宾夕法尼亚大学统计学教授、北大 07 级校友苏炜杰称这是「真正超现实的一夜」。同日,Astra 在 3D 建模、Codex 可搜索笔记等能力也引发大量讨论。

中国动画电影《牛来》上映初期票房低迷,9 天票房仅 7169 元人民币,一度创下年度院线动画最低纪录。随后,这部作品因粗糙画面和离奇剧情在社交平台反向走红,带动单日票房与排片数大幅上升。与此同时,BNB Chain 上同名迷因币也在 8 月 16 日凌晨冲高,市值一度达到 2906 万美元,不过该代币与影片制作方、导演及出品公司并无授权或合作关系。

PANews 统计显示,8 月 3 日至 8 月 9 日全球区块链领域共披露 12 起投融资事件,总额超过 9490 万美元,资金主要流向基础设施、稳定币、RWA 与中心化金融。企业并购方面,万事达卡宣布完成对稳定币基础设施公司 BVNK 的收购。同期,Yellow Card 完成 4000 万美元战略融资,InvestiFi、Dow Protocol、Vangrid、Bundle 等项目也披露了新一轮融资进展。

Vangrid完成900万美元种子轮融资,HashKey、Borderless、Crypto.com Capital、Animoca Brands、Gate Labs和Mapleblock Capital参投。该项目通过智能手机采集地理位置数据,数据经3D建模和链上验证后出售给Physical AI开发商;网络基于Base,公共浏览器显示已完成近10万次验证采集和超1300批次证明。

据彭博社报道,获得阿里巴巴、百度投资的 AI 3D 建模初创公司 VAST 正评估在香港进行 IPO,并已与美银和中金讨论潜在股份发售。该公司今年 6 月刚完成近 2 亿美元融资,估值约 10 亿美元,核心产品 Tripo Studio 主打通过文字或照片生成 3D 模型,目前称全球用户约 2,000 万。

AI 安全中心 CAIS 与 Scale AI 联合开发的远程劳动力指数显示,Fable 5 的自动化率达到 16.1%,高于 Opus 4.8 的 8.3% 和 GPT-5.5 的 6.3%。RLI 基于 240 个 Upwork 真实自由职业项目评估 AI 能否交付客户可接受的成果。CAIS 同时指出,AI 评审目前仍无法替代人工评审,而 Fable 5 的测试虽有 22 个项目未完成,其表现依旧领先其他已评估模型。
